Skip to main content

Derived preconditions and their use in program synthesis

Item Preview

SIMILAR ITEMS (based on metadata)
Department of Defense
by Smith, Douglas R.
texts
eye 24
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
texts
eye 764
favorite 0
comment 0
Source: half
Naval Postgraduate School, Dudley Knox Library
texts
eye 194
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
by Hess, Ronald A.;Sturges, James W.
texts
eye 115
favorite 0
comment 0
Source: half
Naval Postgraduate School, Dudley Knox Library
by Madsen, Leroy E.;Vanderplaats, Garret N.
texts
eye 662
favorite 0
comment 0